Automatic Testing from Formal Specifications
نویسندگان
چکیده
In this article, we consider model oriented formal specification languages. We generate test cases by performing symbolic execution over a model, and from the test cases obtain a Java program. This Java program acts as a test driver and when it is run in conjunction with the implementation then testing is performed in an automatic manner. Our approach makes the testing cycle fully automatic. The main contribution of our work is that we perform automatic testing even when the models are non-deterministic.
منابع مشابه
Automatic Testing with Formal Methods
The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. This allows to automate the whole testing process, not only the test execution part of it. This paper presents the state of the art and future perspectives in testing based on formal methods. The theory of formal testing is briefly outlined, a test tool is presented which auto...
متن کاملAutomated Test Case Generation from IFAD VDM++ Specifications
Most of the current research on automatic generation of test cases from formal specifications has been directed towards non object-oriented formal specifications. While objectoriented paradigm is the most widely accepted methodology for software development, generation of test cases from object-oriented formal specifications is still a relatively unexplored area. In this paper, we present a nov...
متن کاملRigorous and Automatic Testing of Web Applications
As web applications become more and more prevalent, the quality assurance of web applications has become more and more important. Due to the complexity of the underlying technologies of web applications, it is more challenging to test web applications than conventional software. It is critical to develop effective methodologies and tools for testing web applications. In this paper, we propose a...
متن کاملProbe: a formal specification-based testing system
The aim of software verification is determining how well the software conforms to its specification. Testing is the most popular method of software verification. For software testing to be done effectively, there is a need to select proper test cases such that all aspects of the software can be tested. This paper describes a new approach for specification-based testing. The formal specification...
متن کاملSystematic Black-Box Testing of Computer-Based Systems through Formal Abstraction Techniques
In the past of computer science, sometimes, a gap between the testing and the formal methods community could be observed. Testers did not believe in the applicability of formal verification techniques to real world problems, and formal methods’ advocates could not accept testing-techniques as an adequate verification method for producing correct software. However, today the gap is closing and t...
متن کامل